On the composability of consistency conditions

This paper presents a formal framework, which is based on the notion of a serialization set, that enables to compose a set of consistency conditions into a more restrictive one. To exemplify the utility of this framework, a list of very basic consistency conditions is identified, and it is shown that various compositions of the basic conditions yield some of the most commonly used consistency conditions, such as sequential consistency, causal memory, and Pipelined RAM. The paper also lists several applications that can benefit from even weaker semantics than Pipelined RAM that can be expressed as a composition of a small subset of the basic conditions.     

基于自然语言处理的网页过滤方法研究

www上的信息极大丰富，搜索引擎存在精确度低的问题。为准确地从搜索到的网页中提取有用信息，发展一个自动的过滤器已成为当务之急。本文提出的基于自然语言处理的网页过滤方法，从语法、语义和语境三个方面上分析网页的自然语言。实验表明，该方法在一定程度上提高了搜索引擎的精确度。     

Renaming Detection

Finding changed identifiers is important for understanding the difference between two versions of a program and for detecting and resolving conflicts while merging variants of a program together. Standard practice for differencing and merging relies on line based techniques that do not recognize renamed identifiers. The design and implementation of a tool to automatically detect renamed identifiers between two versions of a program is presented. The system uses an abstract representation of language constructs to enable language awareness without introducing language dependence. Modules for Java and Scheme have been written. The detector works with multiple file pairs, taking into account renamings that span several files. A case study is presented that demonstrates proof of concept. The detector is part of a suite of intelligent differencing and merging programs that exploit the static semantics of programming languages.     

A Formal Approach to Protocol Interoperability Testing

Porotocol Interoperability testing is an important means to ensure the interconnection and interoperation between protocol products.In this paper,we proposed a formal approach to protocol interoperability testing based on the operational semantics of Concurrent TTCN.We define Concurrent TTCN‘s operational semantics by using Labeled Transition System,and describe the interoperability test execution and test verdict based on Concurrent TTCN.This approach is very helpful for the formation of formal interoperability testing theory and construction of general interoperability testing system.     

关于素整数矩阵

提出整数矩阵右互素的概念与性质，同时提出整数矩阵的因子分解定理．     

Disturbance Attenuation and Trajectory Tracking via a Reduced-order Output Feedback Controller for Robot Manipulators

This paper presents a solution to the problem of trajectory tracking with external disturbance attenuation in robotics systems via a reduced-order output feedback controller, without velocity measurement. The proposed control law ensures both semi-global asymptotic stability of the closed-loop system and external disturbance attenuation. The approach is based on the notion of the L₂-gain and requires to solve two algebraic Riccati inequalities. The proposed controller design is illustrated by a simulation example.     

Signed Systems for Paraconsistent Reasoning

We present a novel approach to paraconsistent reasoning, that is, to reasoning from inconsistent information. The basic idea is the following. We transform an inconsistent theory into a consistent one by renaming all literals occurring in the theory. Then, we restore some of the original contents of the theory by introducing progressively formal equivalences linking the original literals to their renamings. This is done as long as consistency is preserved. The restoration of the original contents of the theory is done by appeal to default logic. The overall approach provides us with a family of paraconsistent consequence relations.Our approach is semantical because it works at the level of the propositions; it deals with the semantical link between a proposition and its negation. The approach is therefore independent of the combination of the connectives that are actually applied to the propositions in order to form entire formulas.     

Management of imprecision and uncertainty for production activity control

The operational levels of production management, often called production activity control (PAC) or manufacturing process control, require increasing reaction capabilities in order to adapt the workshop management to the changes of its environment. It often implies giving more responsibilities to the low decision levels. However, the management of the corresponding degrees of freedom is generally unusual. In such a situation, decision support systems (DSSs) provide a way to reconcile the satisfaction of mid-level objectives and the reaction requirements. A conceptual model is described that provides a design framework for a PAC DSS. Since the available knowledge lies mainly in expertise, a DSS has been implemented using a knowledge-based system. The uncertainty and imprecision of the managed information led to the use of fuzzy logic as a modeling tool. Moreover, various inference semantics have been implemented in the expert rules because different kinds of reasoning have been identified. Two versions of the DSS are described and several examples of implemented reasoning processes are developed.     

Algebraic Riccati equation and J-spectral factorization for estimation

In this paper we investigate on the existence of the stabilizing solution of the algebraic Riccati equation (ARE) related to the filtering problem with a prescribed attenuation level γ. It is well known that such a solution exists and is positive definite for γ larger than a certain γ_F and it does not exist for γ smaller than a certain γ₀. We consider the intermediate case γ(γ₀,γ_F] and show that in this interval the stabilizing solution does exist, except for a finite number of values of γ. We show how the solution of the ARE may be employed to obtain a minimum-phase J-spectral factor of the J-spectrum associated with the filtering problem.     

语义特征造型系统中特征相互作用机制

当前基于特征的造型系统不能很好地维护特征的语义,主要是由于缺乏一种有效的、贯穿于整个造型过程的有效性维护机制,其中一个突出方面就是特征相互作用管理机制。笔者提出了一种满足各种条件的相互作用定义、分类方法,描述了特征相互作用管理器在特征模型有效性维护中的作用及工作过程,确定了每个操作的特征相互作用范围,这些将为特征相互作用管理器进行工作奠定基础。